Encapsulated Eeects
نویسندگان
چکیده
Side eeects in imperative programming languages are ubiquitous, which makes it dii-cult to reason about programs in other than operational terms. Functional programming languages, on the other hand, claim the advantage that equational logics are suucient for reasoning, but at the that often useful eeects, such as interactive input, exceptions, and explicit updates of state cannot be accommodated. This paper shows a way to bring these two worlds of programming style closer together, by neatly encapsulating the eeects-producing semantics features that one wishes to use to design useful and eecient programs.
منابع مشابه
Taming E ects with MonadicTyping 1 Richard
The familiar Hindley-Milner type system of the ML language family is extended with monad annotations to account for possible side eeects of expression evaluation. This also allows eeects to be eeectively encapsulated by lexical scopes, with enforcement provided by type checking. A type-and-eeects analysis supports type inference. Type soundness and completeness theorems establish the coherence ...
متن کاملTowards Algebras of Encapsulated Eeects
Side eeects in imperative programming languages are ubiquitous, which makes it diicult to reason about programs in other than operational terms. Functional programming languages, on the other hand, claim the advantage that equational logics are suucient for reasoning , but at the price that useful eeects, such as interactive input, exceptions, and explicit updates of state cannot be accommodate...
متن کاملPrefetch Support Relations in Object Bases
In this paper we devise and assess a method for optimizing the execution of encapsulated operations (possibly with side-eeects) based on the precomputation of the page answer (i.e., the set of referenced pages). For (important) parameter combinations, (1) the page answer, (2) the reference frequency of pages, (3) and the ordering of the page answer according to the rst reference of a page durin...
متن کاملPlanning with Primary E ects: Experiments and Analysis
The use of primary eeects in planning is an eeective approach to reducing search. The underlying idea of this approach is to select certain \important" eeects among the eeects of each operator and to use an operator only for achieving its important eeects. In the past, there has been little analysis of planning with primary eeects and few experimental results. We provide empirical and analytica...
متن کاملSearch Reduction in Planning with Primary
The use of primary eeects in planning is an eeective approach for reducing search costs, closely related to abstraction planning. However, there has been little analysis of planning with primary eeects and few experimental results. In this paper we demonstrate the connection between primary eeects and abstraction hierarchies and provide analytical and empirical results on the eeciency of planni...
متن کامل